structure S =
struct
  datatype t2 = T
end
